Fractionner une vidéo avec l'outil "éditeur de vidéo" de Windows 10