http://www.cg975.fr/blog/les-differents-types-de-travaux-de-toiture/