Verif contextuelle marche pour l'exemple donné