Le recours concernant ce point du dispositif de l’ordonnance entreprise sera donc
rejeté.