I'd assume the French know something about naming projects in the vein of Coq.