La taille de Bradley Manning est :