Issue 1337 profiling

| Q                         | R
| ------------------------- | -------------------------------------------
| Correction de bugs ?      | Oui
| Nouvelle Fonctionnalité ? | Non
| Tickets concernés         | #1337

Gitise l'outil de profiling et corrige un problème de `user` potentiellement indéfini dedans.

Notes de QA :

1. Vérifier qu'on a pas de profiling en cas normal
2. Vérifier qu'on peut profiler n'importe quand en mode debug
3. Vérifier que seul un admin peut profiler quand on est pas en mode debug

Comment profiler ? Il suffit de rajouter ?prof=nimportequoi ou &prof=nimportequoi à l'URL. A la place de la page, on voit un grand blabla de texte avec masse de chiffres.