ah parce que prouver l'arret de la division euclidienne est un probleme simple? c'est du niveau TS spe maths (a mon epoque en tout cas, c'est peut etre meme maintenant du niveau maths sup).
et si tu enseignes l'algorithme de la division euclidienne sans prouver qu'il s'arrete, ben... c'est juste absurde