Mh… donc pour mettre des notifications push en JS, il faut utiliser un service externe (google propose le sien, Mozilla aussi…). Quel bordel…

https://developers.google.com/web/ilt/pwa/introduction-to-push-notifications
https://developers.google.com/web/fundamentals/codelabs/push-notifications/

On va oublier ça pour le moment.