Inria named a theorem proving assistant "Coq". Now, everytime an undergrad in 'Merica uses this theorem prover, they waste like 3 minutes trying not to say the name of it.
Since I cannot change the name of the (arguably) most popular theorem prover, I can only, must only, return the favor in kind.
What English noun phrases, as a potential name for software, when said in a French Academic Setting™, might make the speaker give pause or snicker?