Sciences des données : de la Logique du premier ordre à la Toile