Un peu de ménage (!20) · Merge requests · Informatique des Deux Infinis / PHENIICS / Robust Programming · GitLab

GRASLAND Hadrien requested to merge various-cleanup into main Mar 28, 2024

Un tas de petites choses que j'ai remarquées en relisant l'énoncé.

Fixes #2 (closed) .

Edited Mar 28, 2024 by GRASLAND Hadrien