Source: https://www.arts-et-metiers.net/sites/arts-et-metiers.net/files/asset/document/pj_age_industriel_ere_du_charbon_1.pdf