Vers une détection d’intrusions à fiabilité et pertinence prouvables