A partir de 7.1, on a a priori un choix entre deux options, et c'est pas évident du tout de voir que seule l'une marche : il faut faire tout le tour pour constater que l'une est impossible.