C'est un raccourci car je rappelle que Thomson a justement évité de faire faillite grâce à son portefeuille de brevets !
La question de Michel Petit est importante : quels rapports entretiennent la mathématique effective – mais je suis mal placé pour employer cette expression – et la mathématique déclarative ? Je rangerai l'informatique dans la première catégorie, même si, en évoquant les algorithmes, vous l'avez jugée inélégante. Un algorithme ne peut-il pas être beau aussi ?