translate English to French: Graphics interface: duringexit from the proof interface, the dialogue box asking if the demonstration should be saved blocked the interface.
Interface graphique: lors de la sortie de l'interface de preuve, la boite de dialogue demandant si la démonstration devait être sauvée bloquait l'interface.