Un document rare sur la guerre d’Indochine : le journal du lieutenant-colonel Érulin