/**
 * Cette fonction permet d'utiliser la méthode native document.getElementById(element) de manière simplifiée.
 * @param element l'identifiant de l'élément à récupérer. Celui-ci doit être la valeur d'un attribut id situé dans le DOM.
 * @return L'objet du DOM correspondant.
 */
function $(element) {
    return document.getElementById(element);
}