Folco (./1) :
Question : y a-t-il des compilateurs qui supportent ça, ou c'est d'office considéré comme une inclusion récusrive, et donc interdit ?

Oui c'est autorisé.

Folco (./1) :
On pourrait très bien immaginer par exemple, que header2.h définit un symbole qui empêche son inclusion à nouveau, donc on n'aurait pas d'inclusion récursive, mais comment le détecter ?

Ce n'est pas au compilateur de le détecter (#if #else #endif)
Il n'inclut le fichier que si le code #include est à parser.

Folco (./1) :
Est-ce que les compilateurs rejettent d'office ce genre de cas ?

Non

Zerosquare (./2) :
théoriquement, on pourrait faire un fichier include qui se comporte différemment suivant le nombre de fois où il est inclus, même si je n'ai pas d'exemple réel en tête)

J'en ai déjà fait