Le charpentier : de l'ouvrier et du propriétaire, ou art de la charpente enseigné dans tous ses détails