Gaussian process surrogate model to approximate power grid simulators -- An application to the certification of a congestion management controller | Synapse