Poussin, le prouveur interactif