Je me suis attaqué au calcul exact de cette distance hyperfocale. L'hypothèse simplificatrice est qu'on peut assimiler un objectif à une seule lentille mince équivalente (qui n'est pas nécessaire placée dans l'objectif). Ca permet de raisonner avec des figures géométriques triviales; il n'y a pas d'approximation toujours déstabilisante.

Le document est ici

On part de la profondeur de champ au chapitre 5. où on démontre, au passage, que la PDC est indépendante de la focale. En 5.2 on fixe la limite de netteté arrière à l'infini et on calcule alors la distance hyperfocale et la position de la netteté avant.

Un paramètre important est t : diamètre du cercle de confusion et là c'est un peu... capilo-tracté.