Tiens, c'est vrai. J'avais justement fait attention en modifiant GTC pour que la promotion dépende des types des deux opérandes comme c'était le cas dans C68k, mais c'est faux.