Dictionnaire général de la technique industrielle Tome 9 — Richard Ernst