Une petite amélioration cosmétique : lors de la pose de deux fermetures de parties conditionnelles consécutives (ce qui constitue une erreur d'écriture), la deuxième était représentée par un carré : Ce n'était pas très clair, et nous-même avions oublié cette représentation, et avons mis un peu de temps pour comprendre ce dont il s'agissait quant elle est apparue. Aussi l'avons-nous changée en un crochet fermé grisé, pour montrer qu'il s'agit d'une fin de partie conditionnelle, mais qu'elle ne peut pas être prise en compte correctement : |