Yes (I downloaded a 32 bits Netinstall, to be exact).
But I've chosen to do a manual partitioning, following this guide
(https://libreboot.org/docs/gnulinux/encrypted_trisquel.html).
but since for some reason grub fails to install when I use disk encryption
(as if I'd need to decrypt the drive right after the partitioning step), I
had to use a Live CD to boot, and chroot (access the encrypted disk by
mounting it on the Live CD's file system).
From there I was able to install grub.
Then, after removing the Live CD, I had trouble booting in grub, so i had to
do it manually. You most likely won't see grub displayed, so you have to keep
Shift pressed right after writing down your passphrase.
From there I needed to modify/add a few lines to the grub config.
