Le sous-marin anglais bloqué à Gibraltar depuis un an est réparé