Improve the "Making Good PRs" section

I often see PRs with misleading or vague titles. This is problematic, as the PR titles often end up being the commit titles, and commit titles are one of the most important tools we have when searching for historic changes. Bad titles impact maintainability.

Suggested edits:

• Enforce a strict title format
• Promote writing accurate and concise PR titles/descriptions

Perhaps the "Making Good PRs" section can be further promoted. Would it make sense to extract it and move it a level up in the doc hierarchy?

Commencez par localiser la section "Making Good PRs" dans le guide destiné aux développeurs et par examiner la hiérarchie de documentation environnante. Déterminez comment la section doit traiter les titres et les descriptions précis et concis des pull requests, et si elle doit se trouver à un niveau supérieur. Le travail est terminé lorsque les recommandations et leur emplacement reflètent clairement les améliorations suggérées par l'issue.