Dépôts de open-mpi

2 dépôts publics de open-mpi au catalogue, du plus étoilé au moins étoilé.