complétude de R