Franse staat koopt supercomputer Bull van Atos voor 404 miljoen euro