Ordonnance du Roi, portant création d'un régiment d'infanterie irlandoise — France