pause.js servait uniquement à la défunte page article_tous. On l'enlève,...

pause.js servait uniquement à la défunte page article_tous. On l'enlève, d'autant qu'il y a .delay() dans jquery maintenant qui peut en partie remplacer.