if (typeof getSplHead != "undefined") {
    document.write(getSplBody());
} else {
    document.write('Une erreur s\'est produite : fonction getSplHead non-définie (splbody.js).');
}