La collision d’astéroïdes géants recouverts de glace sur la planète forme les océans.