La Trempe par haute fréquence — Étienne Partiot, Jean Jacques Leven