Tu as raison pour les preuves petit à petit