Ordonnance du roi, portant création d'un régiment d'infanterie allemande, sous le titre de Royal-Deux-Ponts — France