Dépôts de OpenMP

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