L’important était que M. le secrétaire d’État nous donne des explications. Il l’a fait, et je l’en remercie.
Mon amendement est lui aussi purement rédactionnel. Comme il risque de ne pas avoir de suite, je préfère le retirer, puisque l’amendement dont je souhaitais l’adoption a été voté.