Le changement de la définition du mètre et le rôle du Bureau international des poids et mesures — Jean Terrien