Réutilisation de l'int 0x4001