Dictionnaire de la technique industrielle. - Ernst, Richard (1967)