Construction de puzzle conjecture theoreme