Pose d'une charpente industrielle sur une construction traditionnelle