Text this: Sciences des données : de la logique du premier ordre à la Toile