La taille de Jean-Noël Mirande est :