Combien au juste ? 5,6 milliards ??