"bitv\u011B u P\u00E9ronne"@cs .