« Les Dents de la mer » : genèse d’une bande originale mythique