Immagini generate dall'IA di Formalises