>> et overflow = undefined behaviour
>> il y a un vrai plongement des entiers dans les floats pour +, - et *

Ben non justement puisque dans l'un des types il y a undefined behaviour, pas dans l'autre. Ya pas de morphisme !!