lieutenant-colonel Denis Cochet