officier d ’ ordonnance.