Un sous-marin allemand interrompt sa mission pour réparer une fuite à bord