Version 6.9.3 : Version qui corrige le bug suivant : Dans la boîte de dialogue...

Version 6.9.3 : Version qui corrige le bug suivant : Dans la boîte de dialogue pour nommer un point ou une droite, en cas de nom incorrect, appuyer plusieurs fois de suite très rapidement sur le bouton OK pour faire planter car deux boîtes de dialogue d'avertissement ou plus pouvaient être affichées alors qu'il n'en faut qu'une maxi.