Implementation du solver de PDP harmonise avec la DB et adaptation en consequence de la DB