Encore quelques améliorations de phpdoc