"Laurenta Heynemanna"@cs . "Laurent Heynemann"@cs .