Now we attend until someone makes up a dictionary containing an anglophone translation for 'Coq'?
(Yes, this name is a bit ambiguous[1], two interpretations being (a) the symbol of france, a beast famous for making its presence known, as it would, early in the morning, and (b) a shortening of Thierry Coquand — compare CPL and MCPL)
[1] The latin ambi-, meaning 'both', suggests these are the only two interpretations. If one were especially puerile, one might attempt to come up with 2^144 interpretations (much easier if one's name is https://news.ycombinator.com/item?id=23857339 Ireneo Funes) but there would be very little to recommend that beyond being able to write that it was a gross bit ambiguous.