Teyssier Commentaires sur typologie strat formalisation PLD