décimaux calcul diagonale Briand 20