Rotation du carré

Procédé géométrique consistant à faire pivoter un carré de 45 degrés pour l'inscrire dans le carré d'origine, engendrant le rapport racine de deux ; les bâtisseurs médiévaux l'employaient pour fixer les proportions de leurs édifices.