Genomborrnivgeu af Mont Ceuis är fullbordad;