Modélisation algébrique du dîner des philosophes