👤

DM: théorème de Pythagore avec rédaction type