br br Musique de John Williams, Thème du film "Les Dents de la Mer"