Nouvelles méthodes de synthèse logique. (New logic synthesis methods)