Lavoisier’s “Traite elementaire de chimie” refers to water electrolysis.