Officiel : retraite internationale pour Thomas Muller.