Manualul inginerului de mine (Editura Tehnica, 1951)