rac(7) et rac(13) dans demi-tréqui