La taille de Jens Lehmann est :