Chargement des fichiers vidéo

window.onload = init; 
function init () { 
    let video = document.getElementById (“video”); 
    let source = document.createElement (“source”); 
    source.type = “video/mp4”; 
    if (document.documentElement.clientWidht < 1024) 
        source.src =”../videos/sortie_mavideo480.mp4”; 
    else 
        source.src = “../videos/sortie_mavideo.mp4”; 
    video.appendChild (source); 
}