"Andr\u00E9 Bloch"@cs . "Andr\u00E9 Blocha"@cs .