Les renseignements espagnols avaient alerté sur un risque d'« afflux massif » de migrants à Ceuta