Le festival international de Marionnettes de Belfort. Episode 1: l'historique du théâtre de Belfort