Mise au goût du jour du diagramme de démonstration