Compilación legislativa del Cuerpo de Obreros Torpedistas-Electricistas de la Armada, 1885-1940