double-toit, doubles-toits nom masculin Toile supplémentaire recouvrant une tente de camping pour la protéger.