Abstract(s) :
(Anglais) In this short note, we prove that the degree-three dilation of the square lattice ℤ^2 is 1+2‾√. This disproves a conjecture of Dumitrescu and Ghosh. We give a computer-assisted proof of a local-global property for the uncountable set of geometric graphs achieving the optimal dilation.