Merge branch 'doc-php-debug' into 'master'

Ajout de documentation pour le debug PHP

See merge request !13