rendu is now called by safe_rendu