Comment imprimer des nombres hexadécimaux dans un fichier?