// js/main.js

// réussite de getElementById
function getElementOrThrow(id) {
    const elem = document.getElementById(id);
    if (!elem) {
        throw new Error("l'élément d'id: " + id + " non trouvé");
    }
    return elem;
}
// l'erreur attribut "value" non trouvé devient l'élement attrapé n'a pas le bon type (c'est un peu plus clair)
function assertElementType(elem, ctor) {
    if (!(elem instanceof ctor)) {
        throw new Error(`type attendu: ${ctor.name}, type obtenu: ${elem.tagName}`);
    }
}