La taille de Tommy Docherty est :