Bonjour,
Dans mon projet, l’appui sur un bouton déclenche un son.
Après export en html5, aucun son mp3 ou ogg n’est lu sous Safari (contrairement à Chrome et Firefox).
Par contre en wav, aucun problème sur Safari.
Comment faire pour que les mp3 soient lus sous Safari ?
(ou est-ce un problème d’encodage de mes mp3 ?)
Merci d’avance.
Bon, j’ai trouvé tout seul 
Il faut choisir “Jouer une musique” et pas “Jouer un son”.
Et là, plus de problème avec Safari.
EDIT
Eh bien non finalement : la lecture des mp3 fonctionne, mais après quelques déclenchements, plus rien ne sort.
http://ienarras1html.etab.ac-lille.fr/syllanimo_v3/
Je suis perdu…
Je n’ai pas Safari pour essayer. 
Je te conseille d’essayer quelques projets exemples sur Safari pour voir si le son fonctionne correctement.
La prise en charge du HTML5 varie selon les navigateurs. 
Bizarre que “jouer un son” ne fonctionne pas, en général c’est plutôt “jouer une musique” qui pose problème.
Ne pas utiliser Safari me semble une bonne solution 
Bon, finalement j’ai résolu le problème des sons qui s’arrêtaient aléatoirement.
J’utilisais le Timer dans les conditions (Lance le son 1, puis 1sec après lance le son 2).
Tout fonctionne maintenant.
Merci pour les propositions !