Mentions légales du service
MAJ en 17.0.1 terminée. La release note principale concernant cette MAJ est ici:
(a simple programming exercise, with a simple proof)