Combien de temps de plus dure la version longue du film « Grand Bleu » ?