Eh, si ; un peu quand même.Les Régiments d'infanterie Coloniale n'ont rien à voir avec la Marine !
Les régiments coloniaux n'étaient jamais que les ci-devant régiments "de marine", transférés en bloc du ministère de la marine au ministère de la guerre lors de la scission du non moins ci-devant ministère de la marine ET des colonies entre 1900 et 1901.
Les régiments coloniaux n'ont été créés que par simple changement de nom des régiments de marine et sont, de ce fait, restés stationnés, en Métropole, dans les ports où ils étaient déjà casernés.
Cela n'a pas posé de gros problème, les cadres étant déjà, du temps de la marine, formés dans les écoles de l'armée de terre : les officiers à Saint-Cyr et les sous-officiers à Saint-Maixent pour l'infanterie. Pour l'artillerie, j'imagine qu'on recrutait aussi à Polytechnique et à l'école militaire du génie et de l'artillerie de Fontainebleau, mais sans certitude, n'ayant pas d'exemple en tête.
C'est cette filiation originelle qui explique le retour tout naturel à l'appellation "de marine" après la fin de l'aventure coloniale, en 1962. Mais là, les régiments coloniaux sont redevenus des régiments "de marine" tout en restant dans l'armée de terre. Juste un clin d'œil à la tradition...
Cordialement
Bernard