[PPT] - V erification de protocoles cryptographiques en pr esence de th PowerPoint Presentation