Haut-Doubs : un restaurant ravagé par incendie, plus de 40 pompiers mobilisés