script python pour faire des analyses sur le nombre de motifs dans la librairie, le nombre de motifs insérés et le nombre de solutions prédites