Maquis du Vercors, documentaire historique