La taille de Jean Richard est :