Added cervin-drapeau to repository.