soit DEF un triangle rectangle en E tel que DF=50mm et DE=4cm. Calculer EF au millimètre près​