Automates Finis et Langages Réguliers