quelle était la taille de françois mitterand