Les schémas d'intégration en temps explicites connaissent un regain d'intérêt en dynamique des structures en raison de certaines propriétés attractives (parallélisation massive par exemple). Leur adaptation pour des problèmes de contact pose néanmoins des difficultés en terme de précision et de robustesse. Nous présenterons dans cet exposé une méthode basée sur une discrétisation de type Nitsche pour le contact, et le schéma d'intégration en temps de Verlet. Nous montrerons des résultats partiels de stabilité ainsi que des résultats numériques obtenus avec la librairie éléments finis GetFEM++, où la méthode sera comparée aux techniques existantes.