Concernente la nomina dei professori effettivi e dei ripetitori della regia scuola di marina.