Fusionne notification.js dans main.js

notification.js était tout petit et occasionnait une requête supplémentaire et un événement JavaScript en plus.
Proposition de fusion dans le nouveau main.js statique.