_:vb937964 . _:vb937964 "Florian Rivoal" .