Rédaction de spécifications et de configurations de mappage pour des preuves statiques et des PDF