A prioriconvergence of the Greedy algorithm for the parametrized reduced basis method | Synapse