Résolution d'un bug de résolution (hah c'est drôle)