Gravar-mail: Wittgenstein, Kripke et le problème de la longueur du mètre