La base de données SCIP en pratique (no. 6181fr)