Ordonnance du roi, portant déclaration de guerre contre le Roi de Portugal — France