La taille de Gilles Leclerc est :