@Christophe « Tu veux une démonstration en logique des prédicats ? »
Pour me dire que si il y a un coquelicot dans un champ de blé c’est un champ de coquelicot ?