arrondissement of Auch — arrondissement of France