Recherche sur un soldat d'indochine et peut-être de Dien Bien Phu

Bonsoir à vous
Suite à une erreur de rubrique, je republie mon poste ici, espérant ne pas me tromper.
J'aimerai savoir si il existe par hasard une liste des soldats français faits prisonniers à Dien Bien Phu. Est-il possible de retrouver des informations sur un soldat d’Indochine. Le soldat qui me pose question est Pierre Jean COT né le 19 février 1932 à Montégut-Savès (Gers), il aurait été au 7e régiment de tirailleurs algériens, je sais qu'il à reçu la légion d'honneur.
Désolé du peu d'informations que j'ai à donner ce sont les seules en ma possession.

Cordialement
gephi577

Bonsoir,

J'ai seulement trouvé qu'il est décédé le 12 juillet 2015 à Auch.

Cordialement