Comment by Anduia

Their research group is called 'Prosecco', and another of their projects at Inria is 'Squirrel'... Another one is F* (pronounced F star).

I imagine that they find their naming choices amusing.