exemple qui fait foirer la génération de preuve