L'Allemagne se dote d'un président «anti-Trump»