Ordonnance du Roi, portant déclaration de guerre contre le roi de Portugal. Du 20 juin 1762 — France