En Haute-Loire, sept restaurants sont ouverts le midi pour les ouvriers du BTP