Correction de plusieurs bug de repo_manager et de collaide (sur les rm). + amélioration des vues du RM