Groupe Mario, la résistance oubliée (movie)