Le premier petaflops européen est allemand