Presentation (in French) of my thesis titled “Automated Verification of Privacy in Security Protocols: Back and Forth Between Theory & Practice”.