Résolution modale et logique des chemins — Yves Auffray