Al director general de la Armada. Que se observe lo resuelto en la Real Orden de 7 de mayo de 1803 por lo respectivo al cuerpo de ingeniería de Marina, y que su jefe se denomine comandante general de ingenieros [84.020]
DIGIBÍS