Computer Science is the word for "informatique théorique"

So "Theoretical Computer Science" is a "lapalissade"