[MANIVELLE]

delete [deprecated tools]