Infos utiles, à regarder pour le pseudo code, et surtout revoir les algos du cours/TD, Thomson/union/intersection/determinisation