√7 est-il un décimal ?