Ajout du tri des règles par nombre croissant de prémisses
Ajouts au README et à la base de règles
Merge branch 'master' of https://github.com/KevinHivert/yolo-octo-batman