It's working!
Here are my scripts, for anyone having a similar problem.
Importing:
do shell script "sudo mv /dev/com_digidesign_semiface /dev/fuse_com_digidesign_semiface" user name "
my_user_name" password "
my_password" with administrator privileges
delay 1
do shell script "zpool import tank" user name "
my_user_name" password "
my_password" with administrator privileges
Exporting:
do shell script "zpool export tank" user name "
my_user_name" password "
my_password" with administrator privileges
delay 1
do shell script "sudo mv /dev/fuse_com_digidesign_semiface /dev/com_digidesign_semiface" user name "
my_user_name" password "
my_password" with administrator privileges
N.B.: the quotation marks are needed
If you want to totally eject the disk, provided it always mounts at the same point, you can add to the export script:
do shell script "sudo diskutil eject disk
n" user name "
my_user_name" password "
my_password" with administrator privileges
(the "n" of disk
n being of course the number of the pool's drive)
Long live ZFS!
EDIT: actually, for my specific problem, DigiDal.kext needs to be either in /System/Library/Extensions (its default place) or /Library/Extensions, BUT com_digidesign_semiface being renamed doesn't seem to interfere with ProTools behaviour! So renaming it systematically to fuse_com_digidesign_semiface after boot is also an option, as it doesn't have to be renamed back, like in the exporting script above.