Leroy-Dutertre, Jacques François, commandant de milices à Port-Louis, à l'île de France 1772