Parce que la norme défini parfaitement le comportement de l'opérateur << sur un unsigned (ou un signed non négatif).
A toi ensuite d'interpréter le résultat obtenu dans donneeADE