Atos steigert Umsatz auf 10,7 Milliarden Euro