( 7 . de Lavals patent.