Ajout de nouveaux benchmarks, le450 puisqu'on a le coloriage optimal sur
ceux ci