/* un trim() pour les String whouhou */
String.prototype.trim = function() {
    return this.replace(/(?:^\s+|\s+$)/g, "");
}