Le double xdef n'a aucun effet (c'est comme s'il n'y en avait qu'un).