Intégration d'un document vidéo dans une progression pédagogique