Base Les bases de l’informatique sont la logique, la théorie des langages et la théorie des algorithmes. » Alfred V. Aho à venir