Histoire de la guerre d'Indochine - Gras, Yves (Plon, 1979)