public:informatique_theorique