Manuel de la ventilation des mines — Jaroslav Jicinsky