Introduction aux expressions régulières et théorie des automates finis