Le Diko - automates finis déterministes