unt === 0) {document.getElementById("coll_stats").innerHTML += 
                                    " Cela signifie que cette collection MongoDB n'existe pas ou qu'aucune donnée n'y a été insérée."}
                            column_names = json_ask.column_names;
                            insertNamesInSelectors ();
                        }} 
                    } else {
                        setMongoValidity ("Invalide");
                    }
                }}
                xmlHttp.onerror = 