Formule plus minimaliste:


declare l_machin number, l_chose number;
BEGIN
select count(*) into l_machin from MACHIN;
select count(*) into l_chose from CHOSE;
IF (l_machin + l_chose) > 0
...