La taille de Gaston Rullier est :