Titre : Logiques construites par une méthodes de déduction naturelle