Historique du 57e régiment d'infanterie coloniale pendant la Grande guerre (1920)
“ DREVET, capitaine au 7e régiment mixte. A été tué au cours d'une attaque de tranchées turques au moment où il montait sur une position, en avant desa compagnie, pour encourager ses hommes. A encouragé ses hommes qui se portaient à son secours, les engageant à retourner à leur place et à faire leur devoir. ”
