Les meilleures sources c'est le service historique et les archives militaires à Vincennes .
Depuis pas mal d'années les archives de la guerre d' Indochine sont dans le domaine public.
Des dizaine de milliers et sans doute plus de documents sont disponible sur le net.
On y trouve aussi bien les revues de magasins du corps du 23° Lance patates que les documents traitant des opérations durant toute la guerre.
Le problème c'est qu'il faut avoir beaucoup de temps (et d'envie ) pour les consulter.
Mais je l'assure on trouve tout, enfin tout ce qui a été classé et qui est numérisé.
Il faut de la patience et de la motivation, ce que je n'ai plus.