Sissi a.out apparaît, c'est le deuxième, mais pas les autres que tu cites en effet.

Mais je ne sais pas si d'autres versions de objdump que la mienne connaîtraient d'autres formats, c'est pas clair d'après la page de manuel. J'ai pas installé spécialement d'outils de développement sur ma debian, donc...

Ce que je trouve bizarre c'est que le manuel cite comme exemple des fichiers au format VAX oasys ou je ne sais quoi mais que la sortie de objdump -i ne cite rien qui ressemble à ça de près ou de loin... (le VAX c'est un type de microprocesseur c'est bien ça ?)