Formatage des nombres #2

https://github.com/marienfressinaud/FreshRSS/pull/398
Je suis reparti du commit 7a510af73a0ef04ce09fb7eedd98c844e7bff51c, ai
ajouté la gestion des espaces à une fonction de conversion des entiers,
corrigé ce qui devait être fait côté PHP, et remis manuellement les
patchs intermédiaires (j'espère ne pas avoir oublié de corrections).
Le code est même plus simple qu'avant.
Testé aussi sur titre et favoris
Merge remote-tracking branch 'origin/dev' into beta